Facet browsing currently unavailable
Page 1 of 38 results
Sort by: relevance publication year
Analysis by Solving Logical Equations — Calculation of Siphons and Traps BOOK CHAPTER published in Dynamic Analysis of Petri Net-Based Discrete Systems |
Verification of Detailed System Descriptions BOOK CHAPTER published in Dynamic Analysis of Petri Net-Based Discrete Systems |
Main Notions, Problems and Methods BOOK CHAPTER published in Dynamic Analysis of Petri Net-Based Discrete Systems |
Nonnegative low-rank representation based manifold embedding for semi-supervised learning JOURNAL ARTICLE published November 2017 in Knowledge-Based Systems Research funded by NSFC of China (U1504610) | Natural Science Foundations of Henan Province (14A413013,142102210584,18A120002) | Henan International Cooperation Project (152102410036) | Henan University of Science and Technology (2014ZCX013) |
Intersection Search for a Fuzzy Petri Net-Based Knowledge Representation Scheme BOOK CHAPTER published 2009 in Knowledge-Based and Intelligent Information and Engineering Systems |
Explanatory Typologies in Qualitative Analysis1 BOOK CHAPTER published 2009 in The SAGE Handbook of Case-Based Methods |
Imaging the Brain-Injured Patient BOOK CHAPTER published 2010 in Neurocritical Care |
Partial Differential Equations and their Discretization BOOK CHAPTER published 2003 in Numerical Methods and Algorithms |
Multi-objective differential evolution with dynamic covariance matrix learning for multi-objective optimization problems with variable linkages JOURNAL ARTICLE published April 2017 in Knowledge-Based Systems Research funded by National Natural Science Foundation of China (61272283,11361001,61573281,51669006) | China Postdoctoral Science Foundation (2014M562435) |
QoS-UniFrame: A Petri Net-Based Modeling Approach to Assure QoS Requirements of Distributed Real-Time and Embedded Systems PROCEEDINGS ARTICLE published in 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05) |
Formalization of Multimodal Languages in Pervasive Computing Paradigm BOOK CHAPTER published 2009 in Lecture Notes in Computer Science |
Computational Methods for Rigorous Analysis of Chaotic Systems BOOK CHAPTER published in Studies in Computational Intelligence |
Coupling multi-level component interfaces for parallel sparse linear system solvers PROCEEDINGS ARTICLE published 15 November 2009 in Proceedings of the 2009 Workshop on Component-Based High Performance Computing Research funded by Iowa State University of Science and Technology (DE-AC02-07CH11358) | National Science Foundation (EIA-0202048MRI CDA-0116050) |
Lack of effects of evidence-based, individualised counselling on medication use in insured patients with mild hypertension in China: a randomised controlled trial JOURNAL ARTICLE published June 2020 in BMJ Evidence-Based Medicine |
Cloud Based IOPT Petri Net Simulator to Test and Debug Embedded System Controllers BOOK CHAPTER published 2015 in IFIP Advances in Information and Communication Technology |
Study and fabrication of add/drop filter based on Bragg gratings reflection coupler PROCEEDINGS ARTICLE published 20 November 2009 in SPIE Proceedings |
Computational Geometry Methods and Intelligent Computing BOOK CHAPTER published 2009 in Generalized Voronoi Diagram: A Geometry-Based Approach to Computational Intelligence |
Methods and efficacy of social support interventions in preventing suicide: a systematic review and meta-analysis JOURNAL ARTICLE published February 2022 in Evidence Based Mental Health |
Clinical research methods for treatment, diagnosis, prognosis, etiology, screening, and prevention: A narrative review JOURNAL ARTICLE published May 2020 in Journal of Evidence-Based Medicine |
Evaluation of User Variables in Topographic Feature Recall for the Informed Selection of Personalized Landmarks BOOK CHAPTER published 2009 in Lecture Notes in Geoinformation and Cartography |